structure G =
struct
  datatype t = T
end
type t = G.t
